binary operations on a set